dynamic model verification

См. также в других словарях:

• Model-based design — (MBD) is a mathematical and visual method of addressing problems associated with designing complex control,[1][2] signal processing[3] and communication systems. It is used in many motion control, industrial equipment, aerospace, and automotive… …   Wikipedia

• Model-based testing — is the application of Model based design for designing and optionally executing the necessary artifacts to perform software testing. Models can be used to represent the desired behavior of the System Under Test (SUT), or to represent the desired… …   Wikipedia

• Model based design — The dawn of the electrical age brought with it various novel, innovative and advanced control systems. It was as early as 1920 s when the two strands of technology, control theory and control system, came together to produce large scale… …   Wikipedia

• Verification and Validation (software) — In software project management, software testing, and software engineering, Verification and Validation (V V) is the process of checking that a software system meets specifications and that it fulfils its intended purpose. It is normally part of… …   Wikipedia

• Agent-based model — An agent based model (ABM) (also sometimes related to the term multi agent system or multi agent simulation) is a class of computational models for simulating the actions and interactions of autonomous agents (both individual or collective… …   Wikipedia

• Mathematical model — Not to be confused with the same term that is used in model theory, a branch of mathematical logic. An artifact that is used to illustrate a mathematical idea may also be called a mathematical model, the usage of which is the reverse of the sense …   Wikipedia

• Device driver synthesis and verification — The device driver is a program which allows the software or higher level computer programs to interact with a hardware device. These software components act as a link between the devices and the operating systems, communicating with each of these …   Wikipedia

• Formal verification — In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods… …   Wikipedia

• Runtime verification — is a verification technique that combines formal verification and program execution.It is the process of detecting faults in a system under scrutiny by passively observing its input/output behavior during its normal operations. The observed… …   Wikipedia

• Actor model — In computer science, the Actor model is a mathematical model of concurrent computation that treats actors as the universal primitives of concurrent digital computation: in response to a message that it receives, an actor can make local decisions …   Wikipedia

• Atmospheric model — A 96 hour forecast of 850 mbar geopotential height and temperature from the Global Forecast System An atmospheric model is a mathematical model constructed around the full set of primitive dynamical equations which govern atmospheric motions. It… …   Wikipedia